Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Categorical systems theory
topos.institute·7h
🔀Category Theory
Sorting encrypted data without decryption: a practical trick
dev.to·4h·
Discuss: DEV
🔐Hash Functions
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
A disenshittification moment from the land of mass storage
doctorow.medium.com·7h
🧲Magnetic Philosophy
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.com·1d
🔄Archival Workflows
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·3h
📐Mathematical Art
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2h·
Discuss: Hacker News
📐Linear Algebra
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·4d
⏰Time Crystals
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
The Day I Hacked XCTrack
blog.syrac.org·4h·
Discuss: Hacker News
🔐PKI Archaeology
timelinize/timelinize
github.com·17h
⏱️Interval Archives